A New Method to Detect Useless Service Failure Model in SPN

Service Failure model is described by Stochastic Petri nets. Some of the service failure precisely corresponds to the confusion. Confusion is one of very important concept in the Petri nets. Because it appears to be difficult to obtain a “correct” implementation when emerges confusion in the Petri net system, it is not a good model when exists confusion. When we build some service failure and recovery model based on Stochastic Petri nets, it is very important to avoid some structural design error such as useless service failure structure (siphon and confusion structure). In this paper, we discuss useless service failure structures which are precisely equivalent to structural confusion; an algorithm detection useless service failure structure is presented.